python sum of digits in a number